Topological invariants, mulitvalued maps and computer assisted proofs in dynamics
نویسندگان
چکیده
منابع مشابه
Topological Invariants, Mulitvalued Maps and Computer Assisted Proofs in Dynamics
We introduce the concept of inheritable properties of multivalued maps and show how this concept, when combined with interval arithmetic and repre-sentable multivalued approximations, may be used in adapting topological methods to computer assisted proofs in dynamics. As our rst example we propose a simple geometric criterion for chaos. A more sophisticated example is the Conley index theory. W...
متن کاملStratifiable Maps and Topological Invariants
Let X and Y be spaces and I: X -+ Y be a map between them. Then a large family of problems in topology (and geometry) involve the attempt to relate the invariants of X and Y via I. This attempt has been successful often for the case X and Y manifolds and I the projection of a fibre bundle, for many types of important invariants. For example, the result of ChernHirzebruch-Serre [CHS] asserts tha...
متن کاملInheritable Properties and Computer Assisted Proofs in Dynamics
1 0 Introduction. Computer assisted proofs are becoming an important factor of present day mathematics. Since there exist short theorems having arbitrarily long proofs (a consequence of GG odel's incompletness theorems, see 4, 6, 23]) and the power of computers is growing exponentially, this shoudbe expected. The general scheme for constructing computer assisted proofs is actually very simple a...
متن کاملComputer-Assisted Simulation Proofs
This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I/O automata to extract a set of proof obligations for showing that the behaviors of one algorithm are among those of another, and it uses the Larch tools for speci cation and deduction to discharge these obligations in a natural and easy-to-read fashion. The approach is demonstrate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1996
ISSN: 0898-1221
DOI: 10.1016/0898-1221(96)00127-7